f =>= g = g . extend f